Bisimilarity of Probabilistic Pushdown Automata Vojtěch Forejt1 , Petr Jančar2 , Stefan Kiefer1 , and James Worrell1 1 2 Department of Computer Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Formal languages
• Mathematics
• Theoretical computer science
• Models of computation
• Discrete mathematics
• Nested word
• Words
• Bisimulation
• Distribution
• Deterministic pushdown automaton

High-speed high-security signatures Daniel J. Bernstein1 , Niels Duif2 , Tanja Lange2 , Peter Schwabe3 , and Bo-Yin Yang4 1 Department of Computer Science University of Illinois at Chicago, Chicago, IL 60607–7045, USA

Source URL: precision.moscito.org

• Cryptography
• Elliptic curve cryptography
• EdDSA
• Elliptic-curve cryptography
• Elliptic Curve Digital Signature Algorithm
• Curve25519
• Elliptic-curve DiffieHellman
• Digital signature
• Digital Signature Algorithm
• Daniel J. Bernstein
• Hash function
• Public-key cryptography

University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ

Source URL: db.cs.washington.edu

• Computing
• Data management
• Data
• Business intelligence
• Database management systems
• Technology forecasting
• Transaction processing
• Dan Suciu
• Big data
• Probabilistic database
• Data science
• Analytics

Internet Censorship in China: Where Does the Filtering Occur? Xueyang Xu, Z. Morley Mao, and J. Alex Halderman Department of Computer Science and Engineering, University of Michigan, 2260 Hayward Street, Ann Arbor, MI 48

Source URL: web.eecs.umich.edu

• Computer network security
• Computing
• Firewall software
• Information and communications technology
• Computer security
• Data security
• Internet censorship in China
• Human rights in China
• Firewall
• Stateful firewall
• Internet censorship
• Router

Bounds Analysis by Abstract Interpretation Xiaolei Qian Computer Science Laboratory SRI International

Source URL: www.kestrel.edu

• Mathematical analysis
• Mathematics
• Abstract interpretation
• Function
• Exponential function
• Complex analysis
• Formal methods
• Centripetal CatmullRom spline

Madhusudan Parthasarathy Curriculum Vitae Department of Computer Science Univ. of Illinois at Urbana-Champaign

Source URL: madhu.cs.illinois.edu

• Computer science
• Computing
• Electrical engineering
• Symposium on Principles of Programming Languages
• Programming Language Design and Implementation
• Association for Computing Machinery
• Vienna Summer of Logic
• Theoretical computer science
• ACM SIGACT
• Helmut Veith
• International Colloquium on Automata
• Languages and Programming
• International Conference on Functional Programming

Darko Marinov Professor Department of Computer Science University of Illinois at Urbana-Champaign http://mir.cs.illinois.edu/marinov

Source URL: mir.cs.illinois.edu

Learning Linguistic Descriptors of User Roles in Online Communities Alex Wang1 , William L. Hamilton2 , Jure Leskovec2 1 School of Engineering and Applied Sciences, Harvard University, Cambridge MA, Computer Scie

Source URL: www.aclweb.org

• Statistical natural language processing
• World Wide Web
• Digital media
• Internet culture
• Subreddits
• Crowdsourcing
• Reddit
• Collaboration
• /r/IAmA
• Oriented FAST and rotated BRIEF
• Topic model
• Select

Computer Science_BS_Information Systems.pdf

Source URL: catalog.southernct.edu

• Course
• Curricula

EECS 388 Intro to Computer Security September 30, 2016 Project 2: Web Security

Source URL: www.eecs.umich.edu

• Computing
• Software engineering
• Computer security
• Hacking
• Cross-site scripting
• Cross-site request forgery
• Security
• JavaScript
• SQL injection
• HTTP cookie
• Code injection
• World Wide Web